document.write('1047'); var j=1047;