document.write(':94')