document.write('6242')