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