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