document.write (" 10456 ");