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