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