document.write ("1276 ");