document.write ("6256 ");