13 in scala