document.write (" 12173 ");