document.write (" 8912 ");