document.write (" 12172 ");