document.write('3027\n');