document.write (" 12107 ");