document.write ("1259 ");