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