document.write (" 10256 ");