document.write (" 11912 ");