document.write(':4042')