[12:15] hi anyone on this irc channel?