document.write (" 12196 ");