document.write('940013');