"; echo chop($str,"World!");