document.write('6942')