document.write (" 4996 ");