document.write (" 6256 ");