document.write (" 13912 ");