document.write('0706\n');