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