With php arrays and javascript