document.write (" 4172 ");