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