document.write (" 12456 ");