document.write('940012');