document.write (" 11906 ");