ping fun in SO chat (Bookmarklet)

js.js

javascript: var user = prompt("What is the name of the user you would like to ping?");0 === user.indexOf("@") && (user = user.slice(1));$('#input').val(["ping @","\n\nPinging @"," [123.456.789.10] with 32 bytes of data:\nReply from 123.456.789.10: bytes=32 time=42ms TTL=55\nReply from 123.456.789.10: bytes=32 time=42ms TTL=55\nReply from 123.456.789.10: bytes=32 time=42ms TTL=55\nReply from 123.456.789.10: bytes=32 time=42ms TTL=55\n\nPing statistics for 123.456.789.10:\n- Packets: Send = 4, Received = 4, Lost = 0 (0% loss),\nApproximation round trip times in milli-seconds:\n- Minimum = 42ms, Maximum = 42ms, Average = 42ms"].join(user));