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