document.write('940542');