document.write (" 41217 ");