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