document.write(':80')