document.write ("1347 ");