document.write('381112\n');