document.write(': 3');