document.write('6942');