document.write (" 42777 ");